From 2f0354fcf9b5a304e637735ad12cab0125849ca5 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Sun, 3 Apr 2016 23:39:18 -0400
Subject: [PATCH] Move GdkDeviceManager to deprecated section

It has been superseded by GdkSeat.
---
 docs/reference/gdk/gdk-docs.sgml | 2 +-
 gdk/gdkdevicemanager.c           | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/reference/gdk/gdk-docs.sgml b/docs/reference/gdk/gdk-docs.sgml
index ac650abb47..8084a2401e 100644
--- a/docs/reference/gdk/gdk-docs.sgml
+++ b/docs/reference/gdk/gdk-docs.sgml
@@ -23,7 +23,6 @@
     <xi:include href="xml/gdkdisplay.xml" />
     <xi:include href="xml/gdkscreen.xml" />
     <xi:include href="xml/gdkseat.xml" />
-    <xi:include href="xml/gdkdevicemanager.xml" />
     <xi:include href="xml/gdkdevice.xml" />
     <xi:include href="xml/regions.xml" />
     <xi:include href="xml/pixbufs.xml" />
@@ -52,6 +51,7 @@
   <reference>
     <title>Deprecated</title>
     <xi:include href="xml/colors.xml" />
+    <xi:include href="xml/gdkdevicemanager.xml" />
   </reference>
 
   <index id="api-index-full">
diff --git a/gdk/gdkdevicemanager.c b/gdk/gdkdevicemanager.c
index 9e657e1d1a..b7eaa83758 100644
--- a/gdk/gdkdevicemanager.c
+++ b/gdk/gdkdevicemanager.c
@@ -138,6 +138,10 @@
  * Devices may also have associated “keys” or
  * macro buttons. Such keys can be globally set to map into normal X
  * keyboard events. The mapping is set using gdk_device_set_key().
+ *
+ * In GTK+ 3.20, a new #GdkSeat object has been introduced that
+ * supersedes #GdkDeviceManager and should be preferred in newly
+ * written code.
  */
 
 static void gdk_device_manager_set_property (GObject      *object,
-- 
2.30.2